\begin{nusmvCommand} {unset} {Unsets an environment variable}
 
\cmdLine{unset [-h] <variables>}

A variable environment is maintained by the command interpreter.  The
\command{set} command sets a variable to a particular value, and the
\command{unset} command removes the definition of a variable.

\begin{cmdOpt}

\opt{<variables>}{Variables to be unset.}

\end{cmdOpt}

\end{nusmvCommand}
